Access to specific declarative knowledge by expert systems: The impact of logic programming
نویسندگان
چکیده
منابع مشابه
Declarative Representation of Programming Access to Ontologies
Using ontologies in software applications is a challenging task due to the chasm between the logics-based world of ontologies and the object-oriented world of software applications. The logics-based representation emphasizes the meaning of concepts and properties, i.e., their semantics. The modeler in the object-oriented paradigm also takes into account the pragmatics, i.e., how the classes are...
متن کاملReportrapport Declarative Programming, First-order Logic, Logic Programming
We p rovide here a computational interpretation of rst-order logic based on a constructive interpretation of satisability w.r.t. a xed but arbitrary interpretation. In this approach the formulas themselves are programs. This contrasts with the so-called formulas as types approach in which the proofs of the formulas are typed terms that can be taken as programs. This view of computing is inspire...
متن کاملDeclarative Programming and Knowledge Management
Most real-world applications inevitably face the issue of persistence, generally understood as how to design, maintain and interact with a database. The standard approach relies on the mature technology of relational databases, with interaction specified through SQL embedded in the host programming language. Attempts to raise the level of the error-prone interaction code have been in the direct...
متن کاملTowards a Systematic Approach to Representing Knowledge in Declarative Logic Programming
\The only eeective way to raise the conndence level of a program signii-cantly is to give a proof of its correctness. But one should not rst make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer's burden. On the contrary: the programmer should let correctness proof and program grow hand in hand. ...If one rst...
متن کاملA Rewriting Logic for Declarative Programming
Abst rac t . We propose an approach to declarative programming which integrates the functional and relational paradigms by taking possibly non-deterministic lazy functions as the fundamental notion. Programs in our paradigm are theories in a constructor-based conditional rewriting logic. We present proof calculi and a model theory for this logic, and we prove the existence of free term models w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Decision Support Systems
سال: 1985
ISSN: 0167-9236
DOI: 10.1016/0167-9236(85)90063-6